👑 Dependent Haskell - matmat · Scour

A Foundation for Differentiable Logics using Dependent Type Theory

arxiv.org·1d

🔠Type-Level Programming

Show HN: Sabela – A Reactive Notebook for Haskell

datahaskell.org·1d·

Discuss: Lobsters, Hacker News

🔗Functional Compilers

Monuses and Heaps

doisinkidney.com·11h

🧮Algebraic Datatypes

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

🔗Functional Compilers

State of Haskell 2025 results

discourse.haskell.org·15h·

Discuss: Lobsters, r/programming

🔗Functional Compilers

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

⚔️Lean Tactics

Show HN: Turn – A compiled systems language for agentic computation

news.ycombinator.com·18h·

Discuss: Hacker News

🌐Protocol Synthesis

Refining Almost-Safe Value Functions on the Fly

arxiv.org·1d

🔒Type Safety

Generic methods arrive in Golang, but they weren't the top dev demand

theregister.com·18h

⬆️Lambda Lifting

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·18h

🔧Hardware Verification

extended C*-algebra in nLab

ncatlab.org·15h

🧮Algebraic Archives

Lil' Fun Langs' Guts

taylor.town·2d·

Discuss: Lobsters, Hacker News, r/programming

🔗Functional Compilers

Beyond Pandas: Architecting High-Performance Python Pipelines

hackernoon.com·14h

🌊Stream Processing

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·14h

🕸️Graph Algorithms

Understanding SMF properties

davepacheco.net·12h

💧Liquid Types

I built a persistent memory layer for AI agents in Rust

news.ycombinator.com·15h·

Discuss: Hacker News

🦀Rust Borrowing

BankStrategy/SOEL: An open-ended semantic programming language with no formal syntax

github.com·1h·

Discuss: Hacker News

🔗Functional Compilers

F# Weekly #9, 2026 – Crunching the Technical Debt with Repo Assist

sergeytihon.com·2d

💧Liquid Types

Testing AI Agents: Deterministic Evaluation in a Non-Deterministic World

sitepoint.com·15h

🔍Concolic Testing

Dino in the Machine: Surviving the Transformer Latency Trap in C++

hackernoon.com·1d

🏗️Compiler Archaeology

Loading more...